On the Satisfiability of Quasi-Classical Description Logics

Though quasi-classical description logic (QCDL) can tolerate the inconsistency of description logic in reasoning, a knowledge base in QCDL possibly has no model. In this paper, we investigate the satisfiability of QCDL, namely, QC-coherency and QC-consistency and develop a tableau calculus, as a formal proof, to determine whether a knowledge base in QCDL is QC-consistent. To do so, we repair the standard tableau for DL by introducing several new expansion rules and defining a new closeness condition. Finally, we prove that this calculus is sound and complete. Based on this calculus, we implement an OWL paraconsistent reasoner called QC-OWL. Preliminary experiments show that QC-OWL is highly efficient in checking QC-consistency

A Laser-Guided Spinal Cord Displacement Injury in Adult Mice

Mouse models are unique for studying molecular mechanisms of neurotrauma because of the availability of various genetic modified mouse lines. For spinal cord injury (SCI) research, producing an accurate injury is essential, but it is challenging because of the small size of the mouse cord and the inconsistency of injury production. The Louisville Injury System Apparatus (LISA) impactor has been shown to produce precise contusive SCI in adult rats. Here, we examined whether the LISA impactor could be used to create accurate and graded contusive SCIs in mice. Adult C57BL/6 mice received a T10 laminectomy followed by 0.2, 0.5, and 0.8 mm displacement injuries, guided by a laser, from the dorsal surface of the spinal cord using the LISA impactor. Basso Mouse Scale (BMS), grid-walking, TreadScan, and Hargreaves analyses were performed for up to 6 weeks post-injury. All mice were euthanized at the 7th week, and the spinal cords were collected for histological analysis. Our results showed that the LISA impactor produced accurate and consistent contusive SCIs corresponding to mild, moderate, and severe injuries to the cord. The degree of injury severities could be readily determined by the BMS locomotor, grid-walking, and TreadScan gait assessments. The cutaneous hyperalgesia threshold was also significantly increased as the injury severity increased. The terminal lesion area and the spared white matter of the injury epicenter were strongly correlated with the injury severities. We conclude that the LISA device, guided by a laser, can produce reliable graded contusive SCIs in mice, resulting in severity-dependent behavioral and histopathological deficits

Environmental Sustainable Development: Study on the Value Realization Mechanism and Diversified Realization Path of Ecological Products under the Background of "Double Carbon"

Under the background of carbon neutrality and common prosperity, the importance of carbon sinks is constantly highlighted. Realizing the value of carbon sink ecological products is not only conducive to the realization of the goal of carbon neutrality, but also an effective way to promote the endogenous development of rural areas and promote common prosperity. Broadening the value transformation channel of carbon sink ecological products and realizing the sustainable transformation from "green water and green hills" to "Jinshan and Yinshan" provide a new way to achieve the goal of carbon neutrality and common prosperity. Based on the theoretical analysis of the traditional connotation, formation mechanism and value of carbon sink ecological products, this paper summarizes the main ways and existing problems of realizing carbon sink ecological value in China, systematically analyzes the two-way promotion relationship between the double carbon target and the realization of carbon sink ecological product value, and emphasizes the important role of carbon sink ecological value realization and participation in carbon market transactions in carbon emission reduction. It also summarizes the experience of international typical cases. Finally, suggestions and reflections were put forward for redistributing the supply of ecological products based on carbon sinks, improving the basic system for calculating the value of ecological products, strengthening the government's guiding role, improving the ecological rights trading market, and innovating financial models, providing reference for optimizing the innovative mechanism and path for realizing the value of ecological products in China under the "dual carbon" goal

A Tissue Displacement-based Contusive Spinal Cord Injury Model in Mice

Producing a consistent and reproducible contusive spinal cord injury (SCI) is critical to minimizing behavioral and histological variabilities between experimental animals. Several contusive SCI models have been developed to produce injuries using different mechanisms. The severity of the SCI is based on the height that a given weight is dropped, the injury force, or the spinal cord displacement. In the current study, we introduce a novel mouse contusive SCI device, the Louisville Injury System Apparatus (LISA) impactor, which can create a displacement-based SCI with high injury velocity and accuracy. This system utilizes laser distance sensors combined with advanced software to produce graded and highly-reproducible injuries. We performed a contusive SCI at the 10th thoracic vertebral (T10) level in mice to demonstrate the step-by-step procedure. The model can also be applied to the cervical and lumbar spinal levels

Ultrafast and Ultralight Network-Based Intelligent System for Real-time Diagnosis of Ear diseases in Any Devices

Traditional ear disease diagnosis heavily depends on experienced specialists and specialized equipment, frequently resulting in misdiagnoses, treatment delays, and financial burdens for some patients. Utilizing deep learning models for efficient ear disease diagnosis has proven effective and affordable. However, existing research overlooked model inference speed and parameter size required for deployment. To tackle these challenges, we constructed a large-scale dataset comprising eight ear disease categories and normal ear canal samples from two hospitals. Inspired by ShuffleNetV2, we developed Best-EarNet, an ultrafast and ultralight network enabling real-time ear disease diagnosis. Best-EarNet incorporates the novel Local-Global Spatial Feature Fusion Module which can capture global and local spatial information simultaneously and guide the network to focus on crucial regions within feature maps at various levels, mitigating low accuracy issues. Moreover, our network uses multiple auxiliary classification heads for efficient parameter optimization. With 0.77M parameters, Best-EarNet achieves an average frames per second of 80 on CPU. Employing transfer learning and five-fold cross-validation with 22,581 images from Hospital-1, the model achieves an impressive 95.23% accuracy. External testing on 1,652 images from Hospital-2 validates its performance, yielding 92.14% accuracy. Compared to state-of-the-art networks, Best-EarNet establishes a new state-of-the-art (SOTA) in practical applications. Most importantly, we developed an intelligent diagnosis system called Ear Keeper, which can be deployed on common electronic devices. By manipulating a compact electronic otoscope, users can perform comprehensive scanning and diagnosis of the ear canal using real-time video. This study provides a novel paradigm for ear endoscopy and other medical endoscopic image recognition applications.Comment: This manuscript has been submitted to Neural Network

Expression of a Mutant p53 Results in an Age-Related Demographic Shift in Spontaneous Lung Tumor Formation in Transgenic Mice

BACKGROUND:Mutations in the P53 gene are among the most common genetic abnormalities in human lung cancer. Codon 273 in the sequence-specific DNA binding domain is one of the most frequently mutated sites. METHODOLOGY:To investigate the role of mutant p53 in lung tumorigenesis, a lung specific p53(273H) transgenic mouse model was developed. Rates of lung cancer formation in the transgenic animals and their littermates were evaluated by necropsy studies performed in progressive age cohorts ranging from 4 to 24 months. In order to establish the influence of other common genetic abnormalities in lung tumor formation in the animals, K-Ras gene mutation and p16INK4a (p16) promoter methylation were evaluated in a total of 281 transgenic mice and 189 non-transgenic littermates. PRINCIPAL FINDINGS:At the age extremes of 4-12 and 22-24 months no differences were observed, with very low prevalence of tumors in animals younger than 12 months, and a relatively high prevalence at age 22 months or older. However, the transgenic mice had a significant higher lung tumor rate than their non-transgenic counterparts during the age of 13-21 months, suggesting an age-related shift in lung tumor formation induced by the lung-specific expression of the human mutant p53. Histopathology suggested a more aggressive nature for the transgenic tumors. Older mice (>13 months) had a significantly higher rate of p16 promoter methylation (17% v 82%). In addition, an age related effect was observed for K-Ras codons 12 or 13 mutations, but not for codon 61 mutations. CONCLUSIONS/SIGNIFICANCE:These results would suggest that the mutant p53(273H) contributes to an acceleration in the development of spontaneous lung tumors in these mice. Combination with other genetic and epigenetic alterations occurring after the age of 13 months is intimately linked to its oncogenic potential

Study on rock-breaking efficiency evaluation of TBM disc cutters based on Rostami prediction equations

As the main cutting tool of Tunnel Boring Machine (TBM) for rock-breaking, the rock-breaking efficiency of TBM disc cutters directly affects the TBM’s boring speed, which in turn affects the overall progress of the tunnelling project. Therefore, a simple and accurate evaluation method of the rock-breaking efficiency of TBM disc cutters is an essential prerequisite to improve the rock-breaking performance of TBM. In this paper, the classical force prediction equations of disc cutters were summarized and the applicability of each equation for the constant cross-section disc cutters was analyzed. The calculation equation of the specific energy per ring of TBM rock-breaking was derived based on the Rostami prediction equations and the specific energy theory for disc cutter rock-breaking. The specific energy per ring equation was verified through a practical engineering case. The results show that the maximum relative error of the effective thrust force and the effective torque of the cutter head based on the Rostami force prediction equations is 9.8%. The relative error of the specific energy per ring is 8.0%, which indicates that the prediction of the specific energy per ring equation can accurately reflect the rock-breaking efficiency of disc cutters. The derived equation of the specific energy per ring can not only simplify the rock-breaking efficiency evaluation of TBM disc cutters, but also serve as a valuable reference for practical engineering projects

Transformational dynamics of BZO and BHO nanorods imposed by Y2O3 nanoparticles for improved isotropic pinning in YBa2Cu3O7−δ thin films

An elastic strain model was applied to evaluate the rigidity of the c-axis aligned one-dimensional artificial pinning centers (1D-APCs) in YBa2Cu3O7-δ matrix films. Higher rigidity was predicted for BaZrO3 1D-APCs than that of the BaHfO3 1D-APCs. This suggests a secondary APC doping of Y2O3 in the 1D-APC/YBa2Cu3O7-δ nanocomposite films would generate a stronger perturbation to the c-axis alignment of the BaHfO3 1D-APCs and therefore a more isotropic magnetic vortex pinning landscape. In order to experimentally confirm this, we have made a comparative study of the critical current density Jc (H, θ, T) of 2 vol.% BaZrO3 + 3 vol.%Y2O3 and 2 vol.%BaHfO3 + 3 vol.%Y2O3 double-doped (DD) YBa2Cu3O7-δ films deposited at their optimal growth conditions. A much enhanced isotropic pinning was observed in the BaHfO3 DD samples. For example, at 65 K and 9.0 T, the variation of the Jc across the entire θ range from θ=0 (H//c) to θ=90 degree (H//ab) is less than 18% for BaHfO3 DD films, in contrast to about 100% for the BaZrO3 DD counterpart. In addition, lower α values from the Jc(H) ∼ H-α fitting were observed in the BaHfO3 DD films in a large θ range away from the H//c-axis. Since the two samples have comparable Jc values at H//c-axis, the improved isotropic pinning in BaHfO3 DD films confirms the theoretically predicted higher tunability of the BaHfO3 1D-APCs in APC/YBa2Cu3O7-δ nanocomposite films

Protective Effect of Akkermansia muciniphila against Immune-Mediated Liver Injury in a Mouse Model

Accumulating evidence indicates that gut microbiota participates in the pathogenesis and progression of liver diseases. The severity of immune-mediated liver injury is associated with different microbial communities. Akkermansia muciniphila can regulate immunologic and metabolic functions. However, little is known about its effects on gut microbiota structure and function. This study investigated the effect of A. muciniphila on immune-mediated liver injury and potential underlying mechanisms. Twenty-two C57BL/6 mice were assigned to three groups (N = 7–8 per group) and continuously administrated A. muciniphila MucT or PBS by oral gavage for 14 days. Mouse feces were collected for gut microbiota analysis on the 15th day, and acute liver injury was induced by Concanavalin A (Con A, 15 mg/kg) injection through the tail vein. Samples (blood, liver, ileum, colon) were assessed for liver injury, systemic inflammation, and intestinal barrier function. We found that oral administration of A. muciniphila decreased serum ALT and AST and alleviated liver histopathological damage induced by Con A. Serum levels of pro-inflammatory cytokines and chemokines (IL-2, IFN-γ, IL-12p40, MCP-1, MIP-1a, MIP-1b) were substantially attenuated. A. muciniphila significantly decreased hepatocellular apoptosis; Bcl-2 expression increased, but Fas and DR5 decreased. Further investigation showed that A. muciniphila enhanced expression of Occludin and Tjp-1 and inhibited CB1 receptor, which strengthened intestinal barriers and reduced systemic LPS level. Fecal 16S rRNA sequence analysis indicated that A. muciniphila increased microbial richness and diversity. The community structure of the Akk group clustered distinctly from that of mice pretreated with PBS. Relative abundance of Firmicutes increased, and Bacteroidetes abundance decreased. Correlation analysis showed that injury-related factors (IL-12p40, IFN-γ, DR5) were negatively associated with specific genera (Ruminococcaceae_UCG_009, Lachnospiraceae_UCG_001, Akkermansia), which were enriched in mice pretreated with A. muciniphila. Our results suggested that A. muciniphila MucT had beneficial effects on immune-mediated liver injury by alleviating inflammation and hepatocellular death. These effects may be driven by the protective profile of the intestinal community induced by the bacteria. The results provide a new perspective on the immune function of gut microbiota in host diseases

Manipulating Multiple Order Parameters via Oxygen Vacancies: The case of Eu0.5Ba0.5TiO3-{\delta}

Controlling functionalities, such as magnetism or ferroelectricity, by means of oxygen vacancies (VO) is a key issue for the future development of transition metal oxides. Progress in this field is currently addressed through VO variations and their impact on mainly one order parameter. Here we reveal a new mechanism for tuning both magnetism and ferroelectricity simultaneously by using VO. Combined experimental and density-functional theory studies of Eu0.5Ba0.5TiO3-{\delta}, we demonstrate that oxygen vacancies create Ti3+ 3d1 defect states, mediating the ferromagnetic coupling between the localized Eu 4f7 spins, and increase an off-center displacement of Ti ions, enhancing the ferroelectric Curie temperature. The dual function of Ti sites also promises a magnetoelectric coupling in the Eu0.5Ba0.5TiO3-{\delta}.Comment: Accepted by Physical Review B, 201